ASPECTS ON ANALYSIS AND SYNTHESIS OF LINEAR DISCRETE SYSTEMS OVER THE FINITE FIELD Fq
نویسندگان
چکیده
This note presents a method for synthesizing a static state feedback controller for multiple-input linear systems over discrete sets. The method allows of a complete setting of the cyclic subspaces of the closed loop system by specifying invariant polynomials of the closed loop system. To this end, fundamentals of finite field theory and basic elements of the polynomial approach are developed towards a means of analysis of the cyclic behavior of the system, which, with regard to synthesis issues, results in an algorithm for setting the invariant polynomials of the system dynamics in the closed loop system. The basic ideas are illustrated in an example.
منابع مشابه
AIOSC: Analytical Integer Word-length Optimization based on System Characteristics for Recursive Fixed-point LTI Systems
The integer word-length optimization known as range analysis (RA) of the fixed-point designs is a challenging problem in high level synthesis and optimization of linear-time-invariant (LTI) systems. The analysis has significant effects on the resource usage, accuracy and efficiency of the final implementation, as well as the optimization time. Conventional methods in recursive LTI systems suffe...
متن کاملSynthesis Studies in Iran and world comparative studies of teacher training
This purpose of this study was offering a systematic review and a meta-synthesis of the theoretical patterns and studies conducted with the aim of contrasting and comparing teacher training in Iran and worldwide. The approach used in this study included discretional qualitative research synthesis which was fulfilled through content analysis and meta-synthesis. The total corpus for this study in...
متن کاملModel Checking LTL over Controllable Linear Systems Is Decidable
The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata or rectangular hybrid systems. In this paper we enlarge the class of systems amenable to algorithmic analysis and synthesis by showing decidability of model checking Linear Temporal Logic (LTL) formulas over discrete time, contro...
متن کاملDiscrete Supervisory Control of Switched Linear Systems
This contribution deals with the synthesis of discrete supervisory control for switched linear systems. Via two successive approximation steps, this hybrid control problem is transformed into a purely discrete problem. The latter can then be solved using a slightly modified version of P. J. Ramadge’s and W. M. Wonham’s “supervisory control theory”. By embedding both approximation steps within J...
متن کاملApproximately Bisimilar Symbolic Models for Stochastic Switched Systems
Stochastic switched systems are a class of continuous-time dynamical models with probabilistic evolution over a continuous domain and controldependent discrete dynamics over a finite set of locations (modes). As such, they represent a subclass of general stochastic hybrid systems. While the literature has witnessed recent progress in the dynamical analysis and controller synthesis for the stabi...
متن کامل